Static Analysis of Dynamic Languages
نویسنده
چکیده
Dynamic programming languages are highly popular and widely used. JavaScript is often called the lingua franca of the web and it is the de facto standard for client-side web programming. On the server-side the PHP, Python and Ruby languages are prevalent. What these languages have in common is an expressive power which is not easily captured by any static type system. These, and similar dynamic languages, are often praised for their ease-of-use and flexibility. Unfortunately, this dynamism comes at a great cost: The lack of a type system implies that most errors are not discovered until run-time. Thus, in the worst-case, these bugs are not uncovered before they are encountered by real users of the system. A further cost is limited tool support: For instance, integrated development environments with code completion, code navigation and automatic refactorings are widely available for languages with static type systems, such as Java and C], but the same features are rarely available for dynamic languages such as JavaScript. The aim of this thesis is to investigate techniques for improving the toolsupport for dynamic programming languages without imposing any artificial restrictions on the behaviour of these languages. A common theme is the reliance on static program analysis to over-approximate the behaviour of programs written in these languages. Specifically, the use of whole-program dataflow analysis. The research challenge of this line of work is the adaption of existingand invention of new dataflow analysis techniques to tackle the nature of dynamic programming languages.
منابع مشابه
Dynamic Assessment: From Underlying Constructs to Implications for Language Teaching
Testing as a general trait of social life has received a great deal of attention by many language teachers and scholars. Throughout history, people have been tested to prove their abilities and experiences or to confirm their capacities. Many authorities have said that assessment and instruction should be integrated as a single and inseparable activity which seeks to understand development by a...
متن کاملStatic and Dynamic Analysis of Bus Structure and Chassis of O-457
With due attention to the fact that the local and foreign vehicle industries are changing and modifying the previous designs in order to produce new designs, the components of self-propelled are to be differently analyzed. Static and dynamic analysis is one of them. In this paper, chassis and body of a o-457 bus were studied and analyzed under finite element method (using ANSYS).This process wa...
متن کاملEffect of weight transfer training on static and dynamic balance of older women
The aim of this study was to determine the effect of weight transfer training on static and dynamic balance of older women. 20 accessible subjects that met our criteria divided randomly into two experimental and control groups. The experimental group trained for 6 weeks, 3 times a week and each session 60 minutes a day. Biodex balance system used for training and testing procedures. Data analys...
متن کاملThree dimensional static and dynamic analysis of thick plates by the meshless local Petrov-Galerkin (MLPG) method under different loading conditions
In this paper, three dimensional (3D) static and dynamic analysis of thick plates based on the Meshless Local Petrov-Galerkin (MLPG) is presented. Using the kinematics of a three-dimensional continuum, the local weak form of the equilibrium equations is derived. A weak formulation for the set of governing equations is transformed into local integral equations on local sub-domains by using a uni...
متن کاملStatic and dynamic nonlinear analysis of steel frame with semi-rigid connections
One of the important issues in the study of steel frames is to find a suitable formulation for semi-rigid connections. In this paper, the explicit stiffness matrix for a two-dimensional beam-column element having end-flexibilities is derived. The effects of the lateral uniformly distributed load on the deflection are considered. Both tensile and compressive axial loads are also taken into accou...
متن کاملWeVerca: Web Applications Veri cation for PHP (Tool Paper)?
Static analysis of web applications developed in dynamic languages is a challenging yet very important task. In this paper, we present WeVerca, a framework that allows one to de ne static analyses of PHP applications. It supports dynamic type system, dynamic method calls, dynamic data structures, etc. These common features of dynamic languages cause implementation of static analyses to be eithe...
متن کامل